منابع مشابه
Comet 67P/Churyumov-Gerasimenko preserved the pebbles that formed planetesimals
Solar System formation models predict that the building-blocks of planetesimals were mmto cm-sized pebbles, aggregates of ices and non-volatile materials, consistent with the compact particles ejected by comet 67P/Churyumov-Gerasimenko (67P hereafter) and detected by GIADA (Grain Impact Analyzer and Dust Accumulator) on-board the Rosetta spacecraft. Planetesimals were formed by the gentle gravi...
متن کاملTheories in Practice: Easy-to-Write Specications that Catch Bugs
Automated testing during development helps ensure that software works according to the test suite. Traditional test suites verify a few well-picked scenarios or example inputs. However, such example-based testing does not uncover errors in legal inputs that the test writer overlooked. We propose theory-based testing as an adjunct to example-based testing. A theory generalizes a (possibly infini...
متن کاملCatch-Up: A Rule That Makes Service Sports More Competitive
Service sports include two-player contests such as volleyball, badminton, and squash. We analyze four rules, including the Standard Rule (SR), in which a player continues to serve until he or she loses. The Catch-Up Rule (CR) gives the serve to the player who has lost the previous point—as opposed to the player who won the previous point, as under SR. We also consider two Trailing Rules that ma...
متن کاملMale dance moves that catch a woman's eye.
Male movements serve as courtship signals in many animal species, and may honestly reflect the genotypic and/or phenotypic quality of the individual. Attractive human dance moves, particularly those of males, have been reported to show associations with measures of physical strength, prenatal androgenization and symmetry. Here we use advanced three-dimensional motion-capture technology to ident...
متن کاملTheories in Practice: Easy-to-Write Specifications that Catch Bugs
Automated testing during development helps ensure that software works according to the test suite. Traditional test suites verify a few well-picked scenarios or example inputs. However, such example-based testing does not uncover errors in legal inputs that the test writer overlooked. We propose theory-based testing as an adjunct to example-based testing. A theory generalizes a (possibly infini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Geophysics
سال: 2013
ISSN: 1366-8781,1468-4004
DOI: 10.1093/astrogeo/att047